Charles Sanders Peirce, George Spencer Brown, and Me • 19
inquiryintoinquiry.com·6h
🔄Category Theory
Contradictions
arxiv.org·15h
🧮Programming Language Theory
Human vs. AI in Logic Tasks: a Study
dailynous.com·1d
🧩Theorem Proving
Causal Artificial Intelligence [Free Textbook]
causalai-book.net·1d·
Discuss: Hacker News
🎲Probabilistic Programming
Context Pruning in Conversational Agent
poonai.xyz·8h·
Discuss: Hacker News
🧩Theorem Proving
From Eigenmodes to Proofs: Integrating Graph Spectral Operators with Symbolic Interpretable Reasoning
arxiv.org·15h
🧭SMT Solvers
On This Day in Math - September 10
pballew.blogspot.com·14h·
Discuss: www.blogger.com
🧮Programming Language Theory
Rabboni Autocorrect - Recursive Pedagogy, Artificial Intelligence, and the Biblical Logic of Teaching
reddit.com·8h·
Discuss: r/skibidiscience
🧮Programming Language Theory
Many Hard Leetcode Problems are Easy Constraint Problems
buttondown.com·6h·
Discuss: Lobsters, Hacker News, r/programming
🎯Constraint Programming
Automated Scientific Literature Validation via Hyperdimensional Semantic Analysis & Causal Inference
dev.to·1d·
Discuss: DEV
🎲Probabilistic Programming
Defeating Nondeterminism in LLM Inference
thinkingmachines.ai·1h·
Discuss: Hacker News
🎲Probabilistic Programming
Undecidability of Tiling with a Tromino
arxiv.org·15h
⚙Functional Programming
How to Prove False Statements: Practical Attacks on Fiat-Shamir
eprint.iacr.org·23h·
Discuss: Lobsters, Hacker News
🤝Protocol Design
Systematic Optimization of Open Source Large Language Models for Mathematical Reasoning
arxiv.org·15h
🔗Parser Combinators
Beyond the Hype: Building Production-Ready AI for Helplines with DistilBERT Fine-Tuning
huggingface.co·1d·
Discuss: DEV
🎲Probabilistic Programming
Kleene's Recursion Theorem
en.wikipedia.org·3d·
Discuss: Hacker News
🧮Programming Language Theory
Verification power of rational-valued automata with deterministic and affine states
arxiv.org·15h
✅Formal Verification
The Little Book of Everything
github.com·2d·
Discuss: Hacker News
🧮Programming Language Theory
How to (and Not to) Manipulate Transformers: A Logic-First Guide
lightcapai.medium.com·1d·
Discuss: Hacker News
🧩Theorem Proving
Active use of latent tree-structured sentence representation in humans and large language models
nature.com·19h
🔗Parser Combinators